Chockler, H.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Summary of the 3rd ACM SIGOPS workshop on large-scale distributed systems and middleware (LADIS 2009)

Weatherspoon, Hakim, Terry, Doug, Chockler, Gregory

Journal:

ACM SIGOPS Operating Systems Review

Year:

2010

Language:

english

File:

PDF, 217 KB

english, 2010

2

Bulletin board

Bortnikov, Vita, Chockler, Gregory, Roytman, Alexey, Spreitzer, Mike

Journal:

ACM SIGOPS Operating Systems Review

Year:

2010

Language:

english

File:

PDF, 422 KB

english, 2010

3

[Lecture Notes in Computer Science] Computer Aided Verification Volume 10981 (30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I) || Formal Reasoning About the Security of Amazon Web Services

Chockler, Hana, Weissenbacher, Georg

Year:

2018

Language:

english

File:

PDF, 240 KB

english, 2018

4

Group communication specifications: a comprehensive study

Chockler, Gregory V., Keidar, Idit, Vitenberg, Roman

Journal:

ACM Computing Surveys

Year:

2001

Language:

english

File:

PDF, 488 KB

english, 2001

5

[IEEE 25th IEEE International Conference on Distributed Computing Systems Workshops - Columbus, OH, USA (06-10 June 2005)] 25th IEEE International Conference on Distributed Computing Systems Workshops - Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast

Chockler, G., Demirbas, M., Gilbert, S., Lynch, N., Newport, C., Nolte, T.

Year:

2005

Language:

english

File:

PDF, 126 KB

english, 2005

6

What causes a system to satisfy a specification?

Chockler, Hana, Halpern, Joseph Y., Kupferman, Orna

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

7

Summary of the 5th workshop on large-scale distributed systems and middleware (LADIS 2011)

Rodrigues, Luis, Agrawal, Divy, Vigfusson, Ymir, Chockler, Gregory

Journal:

ACM SIGOPS Operating Systems Review

Year:

2012

Language:

english

File:

PDF, 107 KB

english, 2012

8

Combining Experts' Causal Judgments

Alrajeh, Dalal, Chockler, Hana, Halpern, Joseph Y.

Journal:

Artificial Intelligence

Year:

2020

File:

PDF, 845 KB

2020

9

Verifying cloud services

Bouchenak, Sara, Chockler, Gregory, Chockler, Hana, Gheorghe, Gabriela, Santos, Nuno, Shraer, Alexander

Journal:

ACM SIGOPS Operating Systems Review

Year:

2013

Language:

english

File:

PDF, 331 KB

english, 2013

10

[Lecture Notes in Computer Science] Computer Aided Verification Volume 10981 (30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I) || Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes

Chockler, Hana, Weissenbacher, Georg

Year:

2018

Language:

english

File:

PDF, 5.33 MB

english, 2018

11

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Finding rare numerical stability errors in concurrent computations

Chockler, Hana, Even, Karine, Yahav, Eran

Year:

2013

Language:

english

File:

PDF, 573 KB

english, 2013

12

Wait-free regular storage from Byzantine components

Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi

Journal:

Information Processing Letters

Year:

2007

Language:

english

File:

PDF, 117 KB

english, 2007

13

Validation of Evolving Software || Challenges of Existing Technology

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 98 KB

english, 2015

14

[ACM Press the 10th ACM International Systems and Storage Conference - Haifa, Israel (2017.05.22-2017.05.24)] Proceedings of the 10th ACM International Systems and Storage Conference on - SYSTOR '17 - Scalable communication middleware for permissioned distributed ledgers

Barger, Artem, Manevich, Yacov, Mandler, Benjamin, Bortnikov, Vita, Laventman, Gennady, Chockler, Gregory

Year:

2017

Language:

english

File:

PDF, 134 KB

english, 2017

15

Preface

Hana Chockler, Alan J. Hu

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 125 KB

english, 2011

16

Coverage metrics for temporal logic model checking*

Hana Chockler, Orna Kupferman, Moshe Y. Vardi

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 434 KB

english, 2006

17

Computing Mutation Coverage in Interpolation-Based Model Checking

Chockler, H., Kroening, D., Purandare, M.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2012

Language:

english

File:

PDF, 2.66 MB

english, 2012

18

[IEEE 2013 17th European Conference on Software Maintenance and Reengineering (CSMR 2013) - Genova (2013.3.5-2013.3.8)] 2013 17th European Conference on Software Maintenance and Reengineering - PINCETTE - Validating Changes and Upgrades in Networked Software

Chockler, H., Denaro, G., Meijia Ling,, Fedyukovich, G., Hyvrinen, A. E. J., Mariani, L., Muhammad, A., Oriol, M., Rajan, A., Sery, O., Sharygina, N., Tautschnig, M.

Year:

2013

Language:

english

File:

PDF, 511 KB

english, 2013

19

Validation of Evolving Software || Complementarities Among the Technologies Presented in the Book

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 175 KB

english, 2015

20

Validation of Evolving Software || Function Summarization-Based Bounded Model Checking

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 470 KB

english, 2015

21

[ACM Press the ACM Symposium - Seattle, WA, USA (2014.11.03-2014.11.05)] Proceedings of the ACM Symposium on Cloud Computing - SOCC '14 - Dynamic Performance Profiling of Cloud Caches

Saemundsson, Trausti, Bjornsson, Hjortur, Chockler, Gregory, Vigfusson, Ymir

Year:

2014

Language:

english

File:

PDF, 837 KB

english, 2014

22

[Lecture Notes in Computer Science] Computer Aided Verification Volume 10981 (30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I) || ADAC: Automated Design of Approximate Circuits

Chockler, Hana, Weissenbacher, Georg

Year:

2018

Language:

english

File:

PDF, 693 KB

english, 2018

23

Special Issue of the Journal of Parallel and Distributed Computing: Cloud Computing

Gregory Chockler, Eliezer Dekel, Joseph JaJa, Jimmy Lin

Journal:

Journal of Parallel and Distributed Computing

Year:

2009

Language:

english

File:

PDF, 317 KB

english, 2009

24

Special Issue on Cloud Computing

Gregory Chockler, Eliezer Dekel, Joseph JaJa, Jimmy Lin

Journal:

Journal of Parallel and Distributed Computing

Year:

2011

Language:

english

File:

PDF, 128 KB

english, 2011

25

Validation of Evolving Software || Incremental Upgrade Checking

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 869 KB

english, 2015

26

Clouds at the crossroads

Vigfusson, Ymir, Chockler, Gregory

Journal:

XRDS Crossroads The ACM Magazine for Students

Year:

2010

Language:

english

File:

PDF, 159 KB

english, 2010

27

[ACM Press the 5th European conference - Paris, France (2010.04.13-2010.04.16)] Proceedings of the 5th European conference on Computer systems - EuroSys '10 - Dr. multicast

Vigfusson, Ymir, Abu-Libdeh, Hussam, Balakrishnan, Mahesh, Birman, Ken, Burgess, Robert, Chockler, Gregory, Li, Haoyuan, Tock, Yoav

Year:

2010

Language:

english

File:

PDF, 612 KB

english, 2010

28

Active Disk Paxos with infinitely many processes

Gregory Chockler, Dahlia Malkhi

Journal:

Distributed Computing

Year:

2005

Language:

english

File:

PDF, 1.37 MB

english, 2005

29

Validation of Evolving Software || Optimizing Function Summaries Through Interpolation

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 199 KB

english, 2015

30

[IEEE Comput. Soc. Press Third International Workshop on Services in Distributed and Networked Environments - Macau (3-4 June 1996)] Proceedings of Third International Workshop on Services in Distributed and Networked Environments - Group communication as an infrastructure for distributed system management

Amir, E., Breitgand, D., Chockler, G.V., Dolev, D.

Year:

1996

Language:

english

File:

PDF, 829 KB

english, 1996

31

[IEEE Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06) - Pisa, Italy (13-17 March 2006)] Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06) - Communication-Efficient Probabilistic Quorum Systems for Sensor Networks

Chockler, G., Gilbert, S., Patt-Shamir, B.

Year:

2006

Language:

english

File:

PDF, 283 KB

english, 2006

32

Validation of Evolving Software || RADAR: Dynamic Analysis of Upgrades in C/C++ Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

33

[ACM Press the twenty-third annual ACM symposium - St. John's, Newfoundland, Canada (2004.07.25-2004.07.28)] Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing - PODC '04 - Byzantine disk paxos

Abraham, Ittai, Chockler, Gregory V., Keidar, Idit, Malkhi, Dahlia

Year:

2004

Language:

english

File:

PDF, 248 KB

english, 2004

34

Toward a cloud computing research agenda

Birman, Ken, Chockler, Gregory, van Renesse, Robbert

Journal:

ACM SIGACT News

Year:

2009

Language:

english

File:

PDF, 845 KB

english, 2009

35

Validation of Evolving Software || G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 810 KB

english, 2015

36

Byzantine disk paxos: optimal resilience with byzantine shared memory

Ittai Abraham, Gregory Chockler, Idit Keidar, Dahlia Malkhi

Journal:

Distributed Computing

Year:

2006

Language:

english

File:

PDF, 2.08 MB

english, 2006

37

Validation of Evolving Software || Measuring Change Impact on Program Behaviour

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 452 KB

english, 2015

38

[ACM Press the Fourth ACM International Conference - Cambridge, United Kingdom (2010.07.12-2010.07.15)] Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems - DEBS '10 - Magnet

Girdzijauskas, Sarunas, Chockler, Gregory, Vigfusson, Ymir, Tock, Yoav, Melamed, Roie

Year:

2010

Language:

english

File:

PDF, 746 KB

english, 2010

39

[ACM Press Proceeding of the 2006 workshop - Portland, Maine, USA (2006.07.17-2006.07.17)] Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06 - Formal verification of concurrent software

Chockler, Hana, Farchi, Eitan, Glazberg, Ziv, Godlin, Benny, Nir-Buchbinder, Yarden, Rabinovitz, Ishai

Year:

2006

Language:

english

File:

PDF, 206 KB

english, 2006

40

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Cross-Entropy Based Testing

Chockler, Hana, Farchi, Eitan, Godlin, Benny, Novikov, Sergey

Year:

2007

Language:

english

File:

PDF, 188 KB

english, 2007

41

[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - Easier and More Informative Vacuity Checks

Chockler, Hana, Strichman, Ofer

Year:

2007

Language:

english

File:

PDF, 387 KB

english, 2007

42

Validation of Evolving Software || Static/Dynamic Test Case Generation For Software Upgrades via ARC-B and Deltatest

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 1.60 MB

english, 2015

43

[ACM Press the 2007 inaugural international conference - Toronto, Ontario, Canada (2007.06.20-2007.06.22)] Proceedings of the 2007 inaugural international conference on Distributed event-based systems - DEBS '07 - SpiderCast

Chockler, Gregory, Melamed, Roie, Tock, Yoav, Vitenberg, Roman

Year:

2007

Language:

english

File:

PDF, 384 KB

english, 2007

44

[ACM Press the twenty-sixth annual ACM symposium - Portland, Oregon, USA (2007.08.12-2007.08.15)] Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing - PODC '07 - Constructing scalable overlays for pub-sub with many topics

Chockler, Gregory, Melamed, Roie, Tock, Yoav, Vitenberg, Roman

Year:

2007

Language:

english

File:

PDF, 324 KB

english, 2007

45

Validation of Evolving Software || Regression Checking of Changes in C Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 619 KB

english, 2015

46

[ACM Press the twenty-seventh ACM symposium - Toronto, Canada (2008.08.18-2008.08.21)] Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing - PODC '08 - Virtual infrastructure for collision-prone wireless networks

Chockler, Gregory, Gilbert, Seth, Lynch, Nancy

Year:

2008

Language:

english

File:

PDF, 243 KB

english, 2008

47

Collaborative Financial Infrastructure Protection ||

Baldoni, Roberto, Chockler, Gregory

Year:

2012

Language:

english

File:

PDF, 6.76 MB

english, 2012

48

Validation of Evolving Software || Lightweight Static Analysis Check of Upgrades in C/C++ Software

Chockler, Hana, Kroening, Daniel, Mariani, Leonardo, Sharygina, Natasha

Year:

2015

Language:

english

File:

PDF, 695 KB

english, 2015

49

[ACM Press the 5th Annual Workshop - Oak Ridge, Tennessee (2009.04.13-2009.04.15)] Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research Cyber Security and Information Intelligence Challenges and Strategies - CSIIRW '09 - Defending financial infrastructures through early warning systems

Lodi, Giorgia, Roytman, Alexey, Querzoni, Leonardo, Baldoni, Roberto, Marchetti, Mirco, Colajanni, Michele, Bortnikov, Vita, Chockler, Gregory, Dekel, Eliezer, Laventman, Gennady

Year:

2009

Language:

english

File:

PDF, 6.28 MB

english, 2009

50

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Cross-Entropy Based Testing

Chockler, Hana, Farchi, Eitan, Godlin, Benny, Novikov, Sergey

Year:

2007

Language:

english

File:

PDF, 188 KB

english, 2007

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски